Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 21 pages Failure and Equality in Functional Logic Programming ? F. J. L´opez-Fraguas and J. S´anch

Source URL: gpd.sip.ucm.es

A Logic Programming Language based on Binding Algebras Makoto Hamana Department of Computer Science, University of Gunma

Source URL: www.cs.gunma-u.ac.jp

Optimizing the Runtime Processing of Types in a Higher-Order Logic Programming Language Gopalan Nadathur and Xiaochu Qi Department of Computer Science and Engineering, University of Minnesota, 4-192 EE/CS Building, 200 U

Source URL: www-users.cs.umn.edu

Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher

Source URL: ect.bell-labs.com

• Logic
• Mathematics
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Mathematical analysis
• Measure theory
• Generalised Whitehead product
• Indexed grammar

Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA

Source URL: geog.ucsb.edu

• Logic
• Abstraction
• Philosophy
• Non-classical logic
• Model theory
• Reasoning
• Knowledge representation
• Logic programming
• Default logic
• Description logic
• First-order logic
• Web Ontology Language

The Design and Implementation of Declarative Networks Boon Thau Loo Electrical Engineering and Computer Sciences

Source URL: www.eecs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• Joseph M. Hellerstein
• Datalog
• Ion Stoica
• Scott Shenker
• Logic programming
• Samuel Madden
• Alma-0

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

Source URL: gpd.sip.ucm.es

Qualified Computations in Functional Logic Programming Rafael Caballero, Mario Rodr´ıguez-Artalejo, and Carlos A. Romero-D´ıaz Departamento de Sistemas Inform´ aticos y Computaci´ on, Universidad Complutense

Source URL: gpd.sip.ucm.es

Doctoral Dissertation Design and Implementation of Linear Logic Programming Languages Mutsunori Banbara

Source URL: kaminari.istc.kobe-u.ac.jp

Logic Programming in Tabular Allegories∗ Emilio Jesús Gallego Arias1 and James B. Lipton2 1 2 Universidad Politécnica de Madrid

Source URL: drops.dagstuhl.de

• Model theory
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logic in computer science
• Allegory
• Pullback
• Substitution
• Structure
• Unification
• Kripke semantics
• Interpretation